integral of sin^2(x)